3 examples for git push

  # delete a remote branch
git push origin :feature/cool-thing

# alternatively
git push origin --delete feature/cool-thing
        

  # Push a branch 
git push origin myCoolLocalBranch
        

  # Push to a remote branch with a different name than your local branch 
git push origin local-branch-name:remote-branch-name